In seeking to explain the evolution of social cooperation, many scholars are using increasingly complex game-theoretic models. These complexities often model readily observable features of human and animal populations. In the case of previous games analyzed in the literature, these modifications have had radical effects on the stability and efficiency properties of the models. We will analyze the effect of adding spatial structure to two communication games: the Lewis Sender-Receiver game and a modified Stag Hunt game. For the Stag Hunt, (...) we find that the results depart strikingly from previous models. In all cases, the departures increase the explanatory value of the models for social phenomena. (shrink)

Supercommentary, with commentaries on Praśastapādabhāṣya, a work on Kaṇāda's Vaiśeṣikasūtra, treatise on the Vaiśeṣika school in Hindu philosophy.

Categorical proof theory is an approach to understanding the structure of proofs. We illustrate the idea first by analyzing G0̈del's Dialectica interpretation and the Diller-Nahm variant in categorical terms. Then we consider the problematic question of the structure of classical proofs. We show how double negation translations apply in the case of the Dialectica interpretations. Finally we formulate a proposal as to how to give a more faithful analysis of proofs in the sequent calculus.